『Introduction to Homotopy Type Theory』
E. Rijke, “Introduction to Homotopy Type Theory,” Dec. 21, 2022, arXiv: arXiv:2212.11082. doi: 10.48550/arXiv.2212.11082.
【2212.11082】 Introduction to Homotopy Type Theory
. 2022.
著者：Rijke Egbert
タイトル: Introduction to Homotopy Type Theory
#Homotopy_Type_Theoryの参考文献
#文献